A bimodal perspective on possibility semantics

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A bimodal perspective on possibility semantics

In this paper we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modeling for classical propositional and modal logics [Humberstone, 1981, Holliday, 2015a]. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partia...

متن کامل

On the possibility of a bimodal solar dynamo

A simple way to couple an interface dynamo model to a fast tachocline model is presented, under the assumption that the dynamo saturation is due to a quadratic process and that the effect of finite shear layer thickness on the dynamo wave frequency is analoguous to the effect of finite water depth on surface gravity waves. The model contains one free parameter which is fixed by the requirement ...

متن کامل

On a New Bimodal Normal Family

The unimodal distributions are frequently used in the theorical statistical studies. But in applied statistics, there are many situations in which the unimodal distributions can not be fitted to the data. For example, the distribution of the data outside the control zone in quality control or outlier observations in linear models and time series may require to be a bimodal. These situations, oc...

متن کامل

A Semantics for Possibility Theory Based on Likelihoods

In this paper, a semantic basis for Possibility Theory based on likelihood functions is presented. In some cases, possibilities have been considered as approximations of Shafer plausibility measures. This approximation exchanges exactness of plausibility values for the simplicity of use of possibility values. In this paper, a different direction is followed. Possibility measures are considered ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Logic and Computation

سال: 2016

ISSN: 0955-792X,1465-363X

DOI: 10.1093/logcom/exw024